Bitopological duality for distributive lattices and Heyting algebras
نویسندگان
چکیده
GURAM BEZHANISHVIL I†‖, N ICK BEZHANISHVIL I‡ ‖ , DAVID GABELAIA§ ‖ and ALEXANDER KURZ¶ †Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A. Email: [email protected] ‡Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, U.K. Email: [email protected] §Department of Mathematical Logic, Razmadze Mathematical Institute, M. Aleksidze Str. 1, Tbilisi 0193, Georgia Email: [email protected] ¶Department of Computer Science, University of Leicester, University Road, Leicester LE1 7RH, U.K. E-mail: [email protected]
منابع مشابه
Dualities in Lattice Theory
In this note we prove several duality theorems in lattice theory. We also discuss the connection between spectral spaces and Priestley spaces, and interpret Priestley duality in terms of spectral spaces. The organization of this note is as follows. In the first section we collect appropriate definitions and basic results common to many of the various topics. The next four sections consider Birk...
متن کاملDistributive Lattices with a Generalized Implication: Topological Duality
In this paper we introduce the notion of generalized implication for lattices, as a binary function⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized im...
متن کاملDiscrete duality and its application to bounded lattices with operators
Duality theory emerged from the work by Marshall Stone [18] on Boolean algebras and distributive lattices in the 1930s. Later in the early 1970s Larisa Maksimova [10, 11] and Hilary Priestley [15, 16] developed analogous results for Heyting algebras, topological Boolean algebras, and distributive lattices. Duality for bounded, not necessarily distributive lattices, was developed by Alstir Urquh...
متن کاملCanonical extensions, Esakia spaces, and universal models
In this paper we survey some recent developments in duality for lattices with additional operations paying special attention to Heyting algebras and the connections to Esakia’s work in this area. In the process we analyse the Heyting implication in the setting of canonical extensions both as a property of the lattice and as an additional operation. We describe Stone duality as derived from cano...
متن کاملTENSE OPERATORS ON SHn-ALGEBRAS
In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHnalgebras). In this paper, we define and study tense SHn-algebras namely, SHnalgebras endowed with two tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras. Our main interest is the duality theory for tense SHn-algebras. In order to do this, we requiere Esakia’s duality for ...
متن کاملProfinite Heyting Algebras and Profinite Completions of Heyting Algebras
This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 20 شماره
صفحات -
تاریخ انتشار 2010